Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
501	Revised5.94 Report on the Algorithmic Language Scheme MICHAEL SPERBER WILLIAM CLINGER, R. KENT DYBVIG, MATTHEW FLATT, ANTON VAN STRAATEN (Editors) RICHARD KELSEY, WILLIAM CLINGER, JONATHAN REES Add to Reading List Source URL: www.r6rs.org Language: English - Date: 2008-01-06 01:14:13 Functional languages Scripting languages Procedural programming languages Lisp programming language Theoretical computer science Scheme Lisp Closure Lambda calculus Software engineering Computing Computer programming
502	Computation in Classical Logic and Dual Calculus Daisuke Kimura DOCTOR OF PHILOSOPHY Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-03-08 19:45:48 Lambda calculus Type theory Proof theory Logic in computer science Dependently typed programming Curry–Howard correspondence Calculus of constructions Typed lambda calculus Intuitionistic logic Mathematical logic Logic Mathematics
503	Revised5.92 Report on the Algorithmic Language Scheme MICHAEL SPERBER WILLIAM CLINGER, R. KENT DYBVIG, MATTHEW FLATT, ANTON VAN STRAATEN (Editors) RICHARD KELSEY, JONATHAN REES Add to Reading List Source URL: www.r6rs.org Language: English - Date: 2008-01-06 02:10:31 Lisp programming language Functional languages Data types Functional programming Cross-platform software Scheme Lisp Closure Lambda calculus Software engineering Computing Computer programming
504	Informatics Everywhere: Information and Computation in Society, Science, and Technology Tom Verhoeff Dept. of Math. and CS, Eindhoven University of Technology Den Dolech 2, 5612 AZ Eindhoven, The Netherlands Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2013-06-24 05:42:44 Computability theory Lambda calculus Models of computation Formal methods Informatics Combinatory logic Computation Information theory Algorithm Applied mathematics Theoretical computer science Mathematics
505	CFA2: a Context-Free Approach to Control-Flow Analysis Dimitrios Vardoulakis and Olin Shivers Northeastern University {dimvar,shivers}@ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-02-16 14:40:14 Computer programming Continuations Control flow Computability theory Models of computation Continuation-passing style Eval Stack Lambda calculus Software engineering Computing Subroutines
506	Programming Languages Concepts This course teaches concepts in two ways: By implementing interpreters CS3520 Programming Languages Concepts Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Function Differentiation rules First-order logic Mathematics Mathematical logic Lambda calculus
507	CS109A Notes for LectureExceptions An exception is the only thing that a function can return other than a value of its return-type (rangetype). Generally indicates an unexpected argument for the function. Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 01:01:27 Data types Subroutines Anonymous function Functional programming Lambda calculus INT Software engineering Computing Computer programming
508	Opening Thought Anonymous Functions From now on, functions can be anonymous Old code (define (eval-rands rands env fenv) Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Lambda calculus Subroutines Theoretical computer science Computability theory Formal methods Anonymous function Scheme Map Function Software engineering Computing Computer programming
509	Technical Report UCAM-CL-TR-569 ISSNNumber 569 Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 16:57:58 Type theory Data types Type system Abstraction Abstract data type Type safety ALGOL 68 Programming language Lambda calculus Software engineering Computing Programming language theory
510	Innocent Game Models of Untyped Lambda Calculus Andrew D. Ker University College, Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-07-16 07:23:10 Mathematics Denotational semantics Lambda calculus Typed lambda calculus Game semantics Semantics of programming languages Combinatory logic Semantics Functional programming Theoretical computer science Logic in computer science Applied mathematics

UPDATE